Behavioural theories and the proof of behavioural properties
نویسندگان
چکیده
منابع مشابه
Behavioural Theories and The Proof of Behavioural
Behavioural theories are a generalization of rst-order theories where the equality predicate symbol is interpreted by a behavioural equality of objects (and not by their identity). In this paper we rst consider arbitrary behavioural equalities determined by some (partial) congruence relation and we show how to reduce the behavioural theory of any class of-algebras to (a subset of) the standard ...
متن کاملBehavioural theories and the proof
or speci cation, but only w.r.t. the (in general much smaller) model class of the underlying speci cation SP. 2. If we want to prove that some formula is behaviourally satis ed by a behavioural speci cation behaviour SP w.r.t. , it is equivalent to prove that the same formula is satis ed (in the standard sense) by the fully abstract models of the underlying speci cation SP. In particular, it wo...
متن کاملBehavioural Theories
Behavioural theories are a generalization of standard theories where the equality predicate is interpreted by an arbitrary (possibly partial) congruence relation, called behavioural equality. In this paper we first show how to reduce the behavioural theory of any class C of Σ-algebras to (a subset of) the standard theory of some corresponding class of algebras. Then we consider infinitary axiom...
متن کاملDeconstructing behavioural theories of mobility
We re-examine the standard structural operational semantics of the π-calculus with the view that both process structure and contextual observational power should play roles in describing the behavioural theory. To that end we provide a decomposition of the operational semantics of π which allows for a systematic definition of labelled transitions. These are derived from the calculus’ underlying...
متن کاملProperties of Behavioural Model Merging
Constructing comprehensive operational models of intended system behaviour is a complex and costly task. Consequently, practitioners adopt techniques that support partial behaviour decription such as scenario-based specifications, and focus on elaborating these descriptions iteratively. In previous work, we show how this process can be formally supported by Modal Transition Systems (MTSs), obse...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 1996
ISSN: 0304-3975
DOI: 10.1016/0304-3975(96)00039-4